<?php
	// $id = $_GET['id'];
	// $data = explode(";", file_get_contents("data.txt"));
	// //var_dump($data);
	// unset($data[$id]);
	// $data = implode(";", $data);
	// file_put_contents("data.txt", $data);
	// header("Location:index.php");
	$id = $_GET['id'];
	require('function.php');
	del($id);
	redirect("index.php");
?>